;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o11, o5, o10, o14, o2, o7, o9, o13, o6, o4, o12, o15, o8, o1, o3]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("u2" 1 3)
;;   ("u2" 4 7)
;;   ("o13" 0 9)
;;   ("u2" 11 12)
;;   ("u2" 13 14)
;;   ("o10" 2 17)
;;   ("o7" 8 18)
;;   ("o13" 10 18)
;;   ("u2" 17 20)
;;   ("o2" 5 21)
;;   ("o9" 6 22)
;;   ("o5" 16 23)
;;   ("u1" 15 24)
;;   ("o13" 19 24)
;;   ("o14" 15 25)
;; --------------
;; core
;; --------------------------------
;;  name:o5 start:42 length:23
;;  name:o10 start:5 length:40
;;  name:o14 start:41 length:37
;;  name:o2 start:16 length:35
;;  name:o7 start:20 length:26
;;  name:o9 start:17 length:41
;;  name:o13 start:0 length:23
;;  name:o13 start:24 length:22
;;  name:o13 start:48 length:24
;;  name:u1 start:41 length:31
;;  name:u2 start:1 length:8
;;  name:u2 start:13 length:6
;;  name:u2 start:27 length:6
;;  name:u2 start:35 length:4
;;  name:u2 start:45 length:4
;; patternLength:78
;; --------------------------------
(0
 (
 ("u2" 1 9)
 ("u2" 13 19)
 ("o13" 0 23)
 ("u2" 27 33)
 ("u2" 35 39)
 ("u2" 40 44)
 ("o10" 5 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("o9" 17 58)
 ("o12" 15 64)
 ("o5" 42 65)
 ("o4" 68 69)
 ("o9" 68 69)
 ("u1" 41 72)
 ("o13" 48 72)
 ("o14" 41 78)
 ("o3" 41 79)
 ("o6" 16 87)
 ("o10" 46 98)
 ("o8" 44 101)
 ("o11" 57 109)
 ("u3" 79 111)
 ("o12" 75 116)
 ("o1" 29 119)
 ("o13" 79 122)
 ("o7" 79 123)
 ("o2" 87 140)
 ("o5" 81 155)
 ("o14" 79 165)
 ("o15" 78 173)
))
(1
 (
 ("o10" 35 38)
 ("u2" 35 43)
 ("u2" 47 53)
 ("o13" 34 57)
 ("o12" 58 62)
 ("u2" 61 67)
 ("o4" 5 71)
 ("u3" 50 73)
 ("o5" 67 73)
 ("u2" 69 73)
 ("u1" 39 74)
 ("u2" 74 78)
 ("o10" 39 79)
 ("o7" 54 80)
 ("o13" 58 80)
 ("u2" 79 83)
 ("o2" 50 85)
 ("o6" 71 90)
 ("o9" 51 92)
 ("o10" 83 94)
 ("o7" 81 95)
 ("o5" 76 99)
 ("o1" 75 100)
 ("u1" 75 106)
 ("o13" 82 106)
 ("o3" 16 107)
 ("o14" 75 112)
 ("o4" 72 123)
 ("o11" 16 124)
 ("o9" 112 128)
 ("o2" 86 156)
 ("o13" 107 178)
 ("o8" 88 185)
))
(2
 (
 ("u2" 1 9)
 ("u2" 13 19)
 ("o13" 0 23)
 ("o6" 23 25)
 ("u2" 27 33)
 ("o12" 11 39)
 ("u2" 35 39)
 ("o14" 4 40)
 ("u1" 17 40)
 ("o10" 5 45)
 ("o6" 41 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("o9" 17 58)
 ("o5" 42 65)
 ("u1" 41 72)
 ("o13" 48 72)
 ("u2" 70 73)
 ("o6" 67 74)
 ("o4" 64 75)
 ("o1" 24 76)
 ("u3" 65 77)
 ("o14" 41 78)
 ("o12" 54 79)
 ("o7" 50 89)
 ("o3" 76 92)
 ("o8" 35 101)
 ("o2" 52 110)
 ("o14" 79 112)
 ("o5" 66 125)
 ("o11" 63 137)
 ("o15" 75 145)
))
(3
 (
 ("o12" 10 30)
 ("u2" 22 30)
 ("o5" 11 32)
 ("o2" 12 36)
 ("u2" 34 40)
 ("o14" 10 44)
 ("o13" 21 44)
 ("o12" 40 50)
 ("u2" 48 54)
 ("u2" 56 60)
 ("o14" 57 61)
 ("o5" 39 62)
 ("o10" 26 66)
 ("o7" 41 67)
 ("o13" 45 67)
 ("u2" 66 70)
 ("o8" 65 71)
 ("o2" 37 72)
 ("o12" 58 73)
 ("o9" 38 79)
 ("o10" 68 85)
 ("o5" 63 86)
 ("o3" 77 92)
 ("u1" 62 93)
 ("o13" 69 93)
 ("o14" 62 99)
 ("u2" 78 100)
 ("o12" 81 100)
 ("o4" 78 105)
 ("o15" 86 115)
 ("o9" 80 125)
 ("o1" 87 127)
 ("o5" 95 127)
 ("o14" 100 130)
 ("o11" 42 135)
 ("o7" 68 154)
 ("u3" 101 154)
 ("o6" 56 156)
 ("u1" 94 169)
 ("o13" 99 191)
))
(4
 (
 ("u2" 6 14)
 ("o2" 6 20)
 ("u2" 18 24)
 ("o13" 5 28)
 ("o5" 3 35)
 ("u2" 32 38)
 ("o14" 7 42)
 ("u2" 40 44)
 ("o5" 42 46)
 ("u2" 45 49)
 ("o10" 10 50)
 ("o7" 25 51)
 ("o13" 29 51)
 ("u2" 50 54)
 ("o2" 21 56)
 ("o9" 22 63)
 ("o5" 47 70)
 ("o3" 40 74)
 ("u1" 46 77)
 ("o13" 53 77)
 ("o10" 51 82)
 ("o14" 46 83)
 ("o1" 12 85)
 ("o15" 54 85)
 ("o14" 84 86)
 ("o4" 71 93)
 ("o5" 71 96)
 ("u3" 2 98)
 ("o9" 64 103)
 ("o2" 66 111)
 ("o6" 73 122)
 ("o14" 88 126)
 ("o8" 62 128)
 ("o13" 78 130)
 ("o11" 54 133)
 ("o7" 65 151)
 ("u1" 84 165)
))
(5
 (
 ("u2" 6 14)
 ("o5" 17 18)
 ("u2" 18 24)
 ("o13" 5 28)
 ("u2" 26 31)
 ("o5" 30 32)
 ("u2" 32 38)
 ("u2" 40 44)
 ("u1" 22 45)
 ("o15" 3 48)
 ("o10" 10 50)
 ("o7" 25 51)
 ("o13" 29 51)
 ("u2" 50 54)
 ("o2" 21 56)
 ("o1" 27 58)
 ("o9" 22 63)
 ("o5" 47 70)
 ("o8" 39 73)
 ("u1" 46 77)
 ("o13" 53 77)
 ("o9" 70 77)
 ("o15" 50 80)
 ("o5" 80 81)
 ("o3" 47 82)
 ("o11" 55 82)
 ("o14" 46 83)
 ("u2" 77 87)
 ("o13" 78 109)
 ("o4" 79 110)
 ("o10" 61 116)
 ("o15" 83 116)
 ("o6" 69 118)
 ("o7" 66 120)
 ("o12" 75 128)
 ("u3" 65 147)
))
(6
 (
 ("o14" 3 5)
 ("u2" 2 10)
 ("o14" 10 11)
 ("o14" 14 16)
 ("o1" 8 17)
 ("o7" 3 20)
 ("u2" 14 20)
 ("o14" 19 21)
 ("o13" 1 24)
 ("o14" 25 27)
 ("o14" 29 31)
 ("u2" 28 34)
 ("o1" 22 35)
 ("o14" 35 36)
 ("u2" 36 40)
 ("o5" 27 42)
 ("u2" 41 45)
 ("o10" 6 46)
 ("o7" 21 47)
 ("o13" 25 47)
 ("o1" 38 49)
 ("u2" 46 50)
 ("o2" 17 52)
 ("o2" 53 54)
 ("o9" 18 59)
 ("o7" 48 59)
 ("o5" 43 66)
 ("o1" 53 66)
 ("u1" 42 73)
 ("o13" 49 73)
 ("u1" 74 77)
 ("o14" 42 79)
 ("o14" 80 82)
 ("o14" 85 86)
 ("o1" 70 87)
 ("o7" 60 90)
 ("o6" 51 92)
 ("o14" 91 92)
 ("o14" 98 99)
 ("o11" 62 101)
 ("o8" 81 101)
 ("o15" 32 105)
 ("o1" 95 107)
 ("o5" 94 119)
 ("o2" 98 125)
 ("o7" 94 128)
 ("o12" 85 132)
 ("o4" 46 137)
 ("u3" 83 143)
 ("o9" 76 150)
 ("o10" 89 167)
 ("o3" 88 178)
))
(7
 (
 ("o14" 2 19)
 ("o7" 22 27)
 ("o9" 34 39)
 ("u2" 38 46)
 ("o2" 39 52)
 ("o14" 26 54)
 ("u2" 50 56)
 ("o7" 54 56)
 ("o13" 37 60)
 ("o3" 54 66)
 ("u2" 64 70)
 ("o4" 66 71)
 ("u2" 72 76)
 ("o14" 58 77)
 ("o5" 30 78)
 ("o12" 50 78)
 ("o10" 42 82)
 ("o7" 57 83)
 ("o13" 61 83)
 ("u2" 82 86)
 ("o2" 53 88)
 ("o7" 84 89)
 ("o9" 54 95)
 ("o6" 56 98)
 ("o5" 79 102)
 ("u1" 78 109)
 ("o13" 85 109)
 ("o3" 104 112)
 ("o7" 109 112)
 ("o14" 78 115)
 ("u1" 110 117)
 ("o15" 97 121)
 ("o2" 109 126)
 ("o11" 75 135)
 ("o14" 116 135)
 ("o8" 55 138)
 ("u3" 49 140)
 ("o10" 111 141)
 ("o12" 117 145)
 ("o13" 110 170)
 ("u2" 99 191)
 ("o1" 97 205)
))
(8
 (
 ("u2" 5 13)
 ("u2" 17 23)
 ("o13" 4 27)
 ("u3" 12 27)
 ("u2" 31 37)
 ("u2" 39 43)
 ("o10" 9 49)
 ("o7" 24 50)
 ("o13" 28 50)
 ("u2" 49 53)
 ("o2" 20 55)
 ("u3" 45 56)
 ("o8" 29 57)
 ("o15" 39 60)
 ("o9" 21 62)
 ("o11" 63 67)
 ("o5" 46 69)
 ("u1" 45 76)
 ("o7" 51 76)
 ("o13" 52 76)
 ("o9" 66 79)
 ("o14" 45 82)
 ("o6" 73 86)
 ("u1" 88 89)
 ("u3" 73 90)
 ("o4" 38 103)
 ("o2" 68 104)
 ("o3" 56 105)
 ("o8" 83 107)
 ("o1" 73 108)
 ("o12" 57 114)
 ("o13" 77 117)
 ("u2" 70 168)
 ("o10" 91 177)
))
(9
 (
 ("u2" 22 30)
 ("o2" 22 35)
 ("u2" 34 40)
 ("o6" 16 42)
 ("o13" 21 44)
 ("u2" 46 47)
 ("u2" 48 54)
 ("u1" 38 55)
 ("o5" 34 60)
 ("u2" 56 60)
 ("o14" 38 61)
 ("o10" 26 66)
 ("o7" 41 67)
 ("o13" 45 67)
 ("u2" 66 70)
 ("o2" 37 72)
 ("o6" 50 75)
 ("o9" 38 79)
 ("o15" 9 85)
 ("o5" 63 86)
 ("u1" 62 93)
 ("o13" 69 93)
 ("o14" 62 99)
 ("o13" 96 101)
 ("o2" 91 103)
 ("o1" 50 105)
 ("u1" 94 106)
 ("o12" 66 108)
 ("o7" 93 112)
 ("o8" 55 117)
 ("u3" 24 120)
 ("o6" 86 123)
 ("o11" 104 127)
 ("u2" 100 130)
 ("o5" 102 131)
 ("o3" 105 153)
 ("o4" 99 167)
 ("o15" 90 174)
 ("o10" 86 177)
 ("o9" 101 226)
))
(10
 (
 ("u2" 9 17)
 ("u2" 21 27)
 ("o13" 8 31)
 ("o3" 1 38)
 ("u2" 35 41)
 ("u2" 43 47)
 ("o14" 3 48)
 ("o5" 43 49)
 ("o10" 13 53)
 ("o7" 28 54)
 ("o13" 32 54)
 ("u2" 53 57)
 ("o8" 12 59)
 ("o2" 24 59)
 ("o6" 10 63)
 ("o9" 25 66)
 ("o7" 55 68)
 ("u3" 42 72)
 ("o5" 50 73)
 ("o3" 44 77)
 ("u1" 49 80)
 ("o13" 56 80)
 ("o10" 74 84)
 ("o13" 81 84)
 ("o14" 49 86)
 ("o15" 25 88)
 ("o9" 67 94)
 ("o8" 67 99)
 ("o12" 38 104)
 ("o1" 54 106)
 ("u2" 83 107)
 ("o2" 87 117)
 ("o3" 82 118)
 ("o6" 70 122)
 ("u1" 81 127)
 ("o14" 87 138)
 ("o11" 60 158)
))
(11
 (
 ("u2" 13 21)
 ("o2" 23 27)
 ("u2" 25 31)
 ("o13" 12 35)
 ("u2" 39 45)
 ("u2" 47 51)
 ("o14" 39 52)
 ("u1" 48 52)
 ("o10" 17 57)
 ("o7" 32 58)
 ("o13" 36 58)
 ("u2" 57 61)
 ("o2" 28 63)
 ("o9" 29 70)
 ("o3" 26 71)
 ("o5" 54 77)
 ("u1" 53 84)
 ("o13" 60 84)
 ("o12" 18 90)
 ("o14" 53 90)
 ("o13" 85 108)
 ("o9" 95 111)
 ("o4" 77 115)
 ("o6" 62 119)
 ("o11" 56 120)
 ("u2" 62 123)
 ("u3" 55 124)
 ("o8" 59 130)
 ("o7" 59 131)
 ("o10" 58 139)
 ("o3" 87 141)
 ("o1" 94 172)
 ("o15" 86 175)
))
(12
 (
 ("o10" 5 13)
 ("o15" 10 15)
 ("o10" 23 27)
 ("u2" 24 32)
 ("o15" 29 40)
 ("u2" 36 42)
 ("o13" 23 46)
 ("u2" 50 56)
 ("u2" 58 62)
 ("u1" 46 63)
 ("o14" 59 63)
 ("o15" 58 66)
 ("o10" 28 68)
 ("o7" 43 69)
 ("o13" 47 69)
 ("u2" 68 72)
 ("o10" 69 72)
 ("o2" 39 74)
 ("o10" 73 80)
 ("o9" 40 81)
 ("o12" 5 83)
 ("o15" 78 87)
 ("o5" 65 88)
 ("o3" 40 94)
 ("o10" 84 94)
 ("u1" 64 95)
 ("o13" 71 95)
 ("o15" 96 100)
 ("o14" 64 101)
 ("u3" 14 104)
 ("o10" 98 105)
 ("o5" 89 114)
 ("o4" 46 117)
 ("o9" 82 121)
 ("u2" 101 122)
 ("o1" 37 135)
 ("o6" 82 144)
 ("o12" 92 165)
 ("o7" 87 167)
 ("o8" 85 175)
))
(13
 (
 ("u2" 2 10)
 ("o9" 7 17)
 ("u2" 14 20)
 ("o13" 1 24)
 ("u2" 28 34)
 ("u2" 36 40)
 ("o10" 6 46)
 ("o15" 16 47)
 ("o7" 21 47)
 ("o13" 25 47)
 ("o11" 34 47)
 ("u2" 46 50)
 ("o2" 17 52)
 ("o9" 18 59)
 ("o1" 25 61)
 ("u3" 2 64)
 ("o5" 43 66)
 ("u1" 42 73)
 ("o13" 49 73)
 ("o14" 42 79)
 ("o13" 74 89)
 ("o10" 78 89)
 ("o4" 43 90)
 ("o6" 38 93)
 ("o11" 87 99)
 ("o15" 73 102)
 ("o3" 42 122)
 ("o1" 92 125)
 ("o7" 93 127)
 ("u1" 79 129)
 ("o2" 53 137)
 ("o9" 78 137)
 ("u3" 69 143)
 ("o8" 71 144)
 ("o5" 95 172)
 ("u2" 82 173)
 ("o12" 87 176)
))
(14
 (
 ("u2" 7 15)
 ("o15" 13 17)
 ("o9" 8 22)
 ("o7" 17 25)
 ("u2" 19 25)
 ("o13" 6 29)
 ("o8" 33 37)
 ("o4" 4 38)
 ("o15" 29 38)
 ("u2" 33 39)
 ("u2" 41 45)
 ("u2" 46 50)
 ("o10" 11 51)
 ("o7" 26 52)
 ("o13" 30 52)
 ("u2" 51 55)
 ("o2" 22 57)
 ("o9" 23 64)
 ("o15" 53 64)
 ("o10" 52 66)
 ("o3" 29 70)
 ("o5" 48 71)
 ("o6" 15 78)
 ("u1" 47 78)
 ("o13" 54 78)
 ("o4" 43 80)
 ("o8" 82 83)
 ("o14" 47 84)
 ("o15" 75 84)
 ("o14" 85 100)
 ("o10" 76 109)
 ("o11" 57 113)
 ("o5" 84 114)
 ("o4" 85 118)
 ("o1" 22 127)
 ("o12" 63 133)
 ("o13" 93 134)
 ("o7" 93 147)
 ("u3" 59 164)
 ("o6" 94 165)
 ("u1" 79 169)
))
(15
 (
 ("u2" 12 20)
 ("o7" 5 30)
 ("u2" 24 30)
 ("o13" 11 34)
 ("u2" 38 44)
 ("o8" 34 50)
 ("u2" 46 50)
 ("o10" 16 56)
 ("o7" 31 57)
 ("o13" 35 57)
 ("u2" 56 60)
 ("o2" 27 62)
 ("o9" 28 69)
 ("o5" 53 76)
 ("o7" 58 79)
 ("o6" 34 81)
 ("u1" 52 83)
 ("o13" 59 83)
 ("o14" 52 89)
 ("u2" 69 94)
 ("o4" 93 98)
 ("o11" 70 99)
 ("o8" 83 104)
 ("o14" 90 104)
 ("o7" 96 117)
 ("o10" 74 119)
 ("o13" 84 124)
 ("o3" 31 137)
 ("o15" 23 139)
 ("u3" 97 140)
 ("o6" 105 150)
 ("o1" 110 151)
 ("o5" 77 161)
 ("o9" 85 192)
 ("o12" 79 217)
))
(16
 (
 ("u2" 10 18)
 ("o2" 17 24)
 ("u2" 22 28)
 ("o7" 26 28)
 ("o13" 9 32)
 ("u1" 27 40)
 ("u2" 36 42)
 ("o5" 15 48)
 ("u2" 44 48)
 ("o14" 35 49)
 ("o10" 14 54)
 ("o7" 29 55)
 ("o13" 33 55)
 ("u2" 54 58)
 ("o2" 25 60)
 ("o9" 26 67)
 ("o5" 51 74)
 ("u1" 50 81)
 ("o13" 57 81)
 ("u1" 82 83)
 ("o14" 50 87)
 ("o3" 75 87)
 ("o1" 82 90)
 ("o15" 21 94)
 ("o4" 46 94)
 ("u3" 40 99)
 ("o5" 75 99)
 ("o8" 90 105)
 ("o10" 55 115)
 ("o12" 37 127)
 ("o13" 98 132)
 ("o11" 86 144)
 ("u2" 70 151)
 ("o9" 83 154)
))
(17
 (
 ("u2" 1 9)
 ("u2" 10 12)
 ("u2" 13 19)
 ("o13" 0 23)
 ("o4" 4 28)
 ("u2" 27 33)
 ("u2" 35 39)
 ("o5" 38 41)
 ("o1" 7 43)
 ("o10" 5 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("o6" 22 56)
 ("o9" 17 58)
 ("o4" 34 58)
 ("o5" 42 65)
 ("u1" 41 72)
 ("o13" 48 72)
 ("o14" 41 78)
 ("o4" 66 80)
 ("o12" 51 81)
 ("o10" 67 83)
 ("o11" 25 85)
 ("o6" 66 90)
 ("u1" 73 94)
 ("o1" 64 97)
 ("o2" 87 99)
 ("o3" 28 105)
 ("o9" 64 118)
 ("o13" 73 118)
 ("u3" 71 121)
 ("o8" 18 129)
 ("o15" 54 130)
 ("o7" 77 142)
))
(18
 (
 ("o13" 17 18)
 ("o10" 15 23)
 ("u2" 20 28)
 ("u2" 29 31)
 ("o9" 17 35)
 ("u2" 32 38)
 ("o13" 19 42)
 ("u2" 46 52)
 ("u2" 54 58)
 ("u1" 31 59)
 ("o5" 9 60)
 ("o10" 24 64)
 ("o7" 39 65)
 ("o13" 43 65)
 ("u2" 64 68)
 ("o2" 35 70)
 ("o9" 36 77)
 ("o4" 49 81)
 ("o5" 61 84)
 ("o11" 80 86)
 ("u1" 60 91)
 ("o13" 67 91)
 ("o3" 41 96)
 ("o14" 60 97)
 ("o2" 73 98)
 ("o8" 59 106)
 ("o9" 78 106)
 ("u3" 54 112)
 ("o7" 76 113)
 ("o6" 22 115)
 ("o1" 19 121)
 ("o13" 99 123)
 ("o14" 98 139)
 ("o12" 77 155)
 ("o5" 101 173)
 ("o15" 87 196)
))
(19
 (
 ("u2" 5 13)
 ("u2" 17 23)
 ("o13" 4 27)
 ("o8" 25 32)
 ("u2" 31 37)
 ("u1" 28 38)
 ("u2" 39 43)
 ("o10" 9 49)
 ("o7" 24 50)
 ("o13" 28 50)
 ("u2" 49 53)
 ("o2" 20 55)
 ("o9" 21 62)
 ("o5" 46 69)
 ("o8" 62 71)
 ("u1" 45 76)
 ("o13" 52 76)
 ("o14" 45 82)
 ("o3" 70 83)
 ("o6" 36 84)
 ("o2" 56 84)
 ("o1" 79 88)
 ("o15" 15 95)
 ("o4" 70 100)
 ("u1" 88 100)
 ("o9" 63 108)
 ("o7" 52 109)
 ("o12" 90 117)
 ("u2" 55 124)
 ("o10" 58 125)
 ("o13" 77 131)
 ("o14" 83 157)
 ("u3" 81 158)
 ("o5" 83 160)
))
(20
 (
 ("u2" 9 17)
 ("o12" 6 24)
 ("u2" 21 27)
 ("o13" 8 31)
 ("u2" 35 41)
 ("o12" 33 44)
 ("u2" 43 47)
 ("o10" 13 53)
 ("o7" 28 54)
 ("o13" 32 54)
 ("o4" 3 57)
 ("u2" 53 57)
 ("o7" 55 57)
 ("o2" 24 59)
 ("o15" 28 60)
 ("o9" 25 66)
 ("o1" 29 69)
 ("o12" 49 73)
 ("o5" 50 73)
 ("u1" 49 80)
 ("o13" 56 80)
 ("o14" 49 86)
 ("o6" 28 88)
 ("o12" 83 96)
 ("o11" 84 103)
 ("o14" 87 107)
 ("o8" 94 112)
 ("o9" 90 117)
 ("o7" 89 118)
 ("u3" 63 122)
 ("u1" 81 122)
 ("o15" 89 130)
 ("o4" 67 132)
 ("o1" 99 133)
 ("u2" 71 136)
 ("o13" 81 141)
 ("o3" 48 152)
 ("o5" 74 157)
 ("o2" 96 160)
))
(21
 (
 ("u2" 8 16)
 ("o2" 9 22)
 ("o15" 3 25)
 ("u2" 20 26)
 ("o13" 7 30)
 ("u2" 34 40)
 ("u2" 42 46)
 ("o14" 2 47)
 ("o12" 34 49)
 ("o15" 37 49)
 ("o10" 12 52)
 ("o7" 27 53)
 ("o13" 31 53)
 ("u2" 52 56)
 ("o2" 23 58)
 ("o9" 24 65)
 ("o15" 57 67)
 ("o6" 52 69)
 ("o5" 49 72)
 ("u1" 48 79)
 ("o13" 55 79)
 ("u3" 59 83)
 ("o14" 48 85)
 ("o15" 70 87)
 ("o8" 62 89)
 ("o4" 58 95)
 ("o13" 80 97)
 ("o3" 40 98)
 ("o7" 54 106)
 ("u1" 80 106)
 ("o9" 66 107)
 ("o15" 95 107)
 ("o12" 91 111)
 ("o1" 30 112)
 ("o2" 64 114)
 ("o11" 77 152)
 ("o14" 86 154)
 ("o10" 99 154)
 ("o5" 73 169)
 ("u2" 102 175)
))
(22
 (
 ("o5" 4 18)
 ("o10" 4 33)
 ("o5" 25 36)
 ("u2" 30 38)
 ("u1" 21 40)
 ("o12" 34 40)
 ("o14" 42 44)
 ("o9" 3 45)
 ("o8" 27 45)
 ("u2" 42 48)
 ("o7" 43 48)
 ("o13" 29 52)
 ("o5" 41 60)
 ("u2" 56 62)
 ("o1" 9 68)
 ("u2" 64 68)
 ("u1" 64 69)
 ("o5" 65 70)
 ("o10" 34 74)
 ("o4" 8 75)
 ("o7" 49 75)
 ("o13" 53 75)
 ("u2" 74 78)
 ("o2" 45 80)
 ("o11" 37 81)
 ("o12" 77 82)
 ("o8" 66 85)
 ("u3" 24 87)
 ("o9" 46 87)
 ("u2" 82 92)
 ("o9" 88 93)
 ("o5" 71 94)
 ("o10" 75 96)
 ("o6" 9 101)
 ("u1" 70 101)
 ("o13" 77 101)
 ("o5" 95 103)
 ("o14" 70 107)
 ("o15" 84 109)
 ("o9" 95 127)
 ("o13" 102 132)
 ("o4" 80 135)
 ("o1" 75 140)
 ("o10" 104 141)
 ("o3" 65 152)
 ("o6" 107 196)
))
(23
 (
 ("u2" 4 12)
 ("o15" 7 15)
 ("o9" 16 19)
 ("u2" 16 22)
 ("o13" 3 26)
 ("o15" 17 34)
 ("u2" 30 36)
 ("o14" 34 39)
 ("u2" 38 42)
 ("o5" 10 44)
 ("u3" 35 47)
 ("o10" 8 48)
 ("o7" 23 49)
 ("o13" 27 49)
 ("u2" 48 52)
 ("o1" 36 53)
 ("o2" 19 54)
 ("u2" 53 54)
 ("o15" 40 59)
 ("o9" 20 61)
 ("o7" 56 67)
 ("o5" 45 68)
 ("o10" 61 69)
 ("u1" 44 75)
 ("o13" 51 75)
 ("o2" 55 75)
 ("o15" 65 78)
 ("o14" 44 81)
 ("o13" 76 81)
 ("o3" 78 88)
 ("u3" 77 92)
 ("o6" 41 93)
 ("o1" 77 93)
 ("o11" 24 99)
 ("o8" 58 117)
 ("o5" 81 143)
))
(24
 (
 ("u2" 1 9)
 ("o7" 8 19)
 ("u2" 13 19)
 ("o13" 0 23)
 ("o1" 1 32)
 ("u2" 27 33)
 ("o15" 19 39)
 ("u2" 35 39)
 ("o5" 40 41)
 ("o10" 5 45)
 ("u3" 10 46)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("o11" 46 52)
 ("o9" 17 58)
 ("o3" 7 61)
 ("o5" 42 65)
 ("o1" 34 68)
 ("u1" 41 72)
 ("o13" 48 72)
 ("o14" 41 78)
 ("o2" 77 87)
 ("o15" 66 91)
 ("o12" 15 99)
 ("o9" 59 99)
 ("u3" 58 100)
 ("o1" 69 104)
 ("u2" 87 104)
 ("o6" 52 109)
 ("u1" 74 110)
 ("o14" 84 112)
 ("o8" 82 115)
 ("o4" 35 117)
 ("o10" 64 131)
 ("o7" 74 139)
 ("o13" 73 141)
 ("o3" 77 153)
))
(25
 (
 ("u2" 3 11)
 ("u1" 10 16)
 ("o2" 11 17)
 ("u2" 15 21)
 ("o13" 2 25)
 ("u1" 25 32)
 ("o11" 18 33)
 ("u2" 29 35)
 ("u2" 37 41)
 ("o10" 7 47)
 ("o7" 22 48)
 ("o13" 26 48)
 ("u2" 47 51)
 ("o2" 18 53)
 ("o9" 19 60)
 ("o5" 44 67)
 ("o11" 49 67)
 ("o12" 8 68)
 ("u1" 43 74)
 ("o13" 50 74)
 ("u2" 73 77)
 ("o8" 18 78)
 ("o5" 68 78)
 ("u1" 75 78)
 ("o1" 66 79)
 ("o13" 75 79)
 ("o14" 43 80)
 ("o3" 70 93)
 ("o4" 44 99)
 ("o10" 65 99)
 ("o7" 49 100)
 ("o6" 47 113)
 ("o2" 72 113)
 ("o14" 81 120)
 ("u3" 80 131)
 ("o15" 40 141)
 ("o12" 80 167)
))
(26
 (
 ("u2" 11 19)
 ("o9" 13 26)
 ("u2" 23 29)
 ("o3" 19 31)
 ("o13" 10 33)
 ("u2" 33 36)
 ("u2" 37 43)
 ("u2" 45 49)
 ("o14" 48 50)
 ("o10" 15 55)
 ("o7" 30 56)
 ("o13" 34 56)
 ("o1" 1 58)
 ("u2" 55 59)
 ("o4" 19 60)
 ("o2" 26 61)
 ("o3" 56 67)
 ("o9" 27 68)
 ("o5" 52 75)
 ("u1" 51 82)
 ("o13" 58 82)
 ("u2" 73 84)
 ("o13" 83 86)
 ("o14" 51 88)
 ("o3" 89 96)
 ("o12" 24 105)
 ("o11" 6 108)
 ("o4" 73 109)
 ("o3" 114 121)
 ("u2" 113 125)
 ("o1" 59 127)
 ("u3" 31 131)
 ("o6" 62 148)
 ("o2" 101 149)
 ("o9" 90 152)
 ("o10" 97 156)
 ("o8" 83 162)
 ("o15" 94 176)
 ("o7" 87 200)
 ("u1" 93 202)
))
(27
 (
 ("u2" 1 9)
 ("o7" 10 17)
 ("u2" 13 19)
 ("o13" 0 23)
 ("u2" 27 33)
 ("u2" 35 39)
 ("o14" 1 40)
 ("u2" 43 44)
 ("o10" 5 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("o9" 17 58)
 ("u3" 43 58)
 ("o7" 56 62)
 ("o5" 42 65)
 ("o10" 46 65)
 ("u1" 41 72)
 ("o13" 48 72)
 ("o3" 14 74)
 ("o14" 41 78)
 ("o7" 71 80)
 ("o9" 76 83)
 ("o6" 52 85)
 ("o10" 70 91)
 ("o13" 73 95)
 ("o4" 12 96)
 ("o7" 91 96)
 ("u1" 73 99)
 ("o2" 52 106)
 ("u3" 93 109)
 ("o10" 96 114)
 ("o1" 18 125)
 ("o14" 79 126)
 ("o12" 50 130)
 ("o11" 78 143)
 ("o15" 95 159)
 ("o5" 66 162)
 ("o3" 91 166)
 ("o8" 88 167)
))
(28
 (
 ("o13" 2 6)
 ("u2" 8 16)
 ("u2" 20 26)
 ("o7" 21 26)
 ("o13" 7 30)
 ("u2" 27 33)
 ("u2" 34 40)
 ("o8" 6 41)
 ("u2" 42 46)
 ("o14" 25 47)
 ("o10" 12 52)
 ("o7" 27 53)
 ("o13" 31 53)
 ("u2" 52 56)
 ("o2" 23 58)
 ("o12" 11 65)
 ("o9" 24 65)
 ("o5" 49 72)
 ("o8" 44 78)
 ("u1" 48 79)
 ("o13" 55 79)
 ("o6" 16 85)
 ("o14" 48 85)
 ("o13" 80 93)
 ("u2" 77 96)
 ("o1" 44 97)
 ("o8" 82 115)
 ("o12" 73 121)
 ("o4" 94 121)
 ("o2" 104 130)
 ("u3" 74 133)
 ("o13" 99 137)
 ("o11" 58 155)
 ("o10" 85 155)
 ("u1" 104 158)
 ("o15" 56 159)
 ("o6" 94 165)
 ("o7" 106 167)
 ("o9" 82 170)
 ("o3" 113 209)
 ("o5" 99 217)
))
(29
 (
 ("u2" 4 12)
 ("u2" 16 22)
 ("o14" 21 23)
 ("o13" 3 26)
 ("u2" 30 36)
 ("u2" 38 42)
 ("u3" 21 44)
 ("o10" 8 48)
 ("o7" 23 49)
 ("o13" 27 49)
 ("u2" 48 52)
 ("o2" 19 54)
 ("o9" 20 61)
 ("o11" 23 67)
 ("o5" 45 68)
 ("o10" 49 74)
 ("u1" 44 75)
 ("o13" 51 75)
 ("o14" 44 81)
 ("o9" 63 82)
 ("o1" 66 83)
 ("u3" 69 87)
 ("o6" 26 88)
 ("o7" 66 89)
 ("o4" 50 92)
 ("o5" 69 97)
 ("o8" 29 106)
 ("o13" 76 109)
 ("u1" 76 109)
 ("u2" 57 113)
 ("o12" 52 117)
 ("o3" 74 117)
 ("o15" 46 123)
 ("o2" 74 127)
))
(30
 (
 ("u2" 13 21)
 ("o12" 18 23)
 ("o2" 22 27)
 ("u2" 25 31)
 ("o13" 12 35)
 ("o8" 20 42)
 ("u2" 39 45)
 ("u2" 47 51)
 ("o14" 28 52)
 ("o5" 42 53)
 ("o10" 17 57)
 ("o7" 32 58)
 ("o13" 36 58)
 ("o12" 52 58)
 ("u2" 57 61)
 ("o2" 28 63)
 ("o9" 29 70)
 ("o1" 67 76)
 ("o5" 54 77)
 ("o10" 58 83)
 ("o7" 79 83)
 ("u1" 53 84)
 ("o13" 60 84)
 ("o14" 53 90)
 ("o6" 46 92)
 ("o8" 66 93)
 ("o12" 97 107)
 ("o11" 47 114)
 ("o15" 51 126)
 ("u1" 85 134)
 ("o14" 91 135)
 ("o4" 78 137)
 ("o3" 82 139)
 ("o9" 96 142)
 ("u2" 90 160)
 ("o13" 96 163)
 ("u3" 83 164)
))
(31
 (
 ("u2" 1 9)
 ("o2" 13 15)
 ("u2" 13 19)
 ("o14" 18 19)
 ("o13" 0 23)
 ("o14" 28 29)
 ("o12" 20 33)
 ("u2" 27 33)
 ("u2" 35 39)
 ("u1" 2 40)
 ("o5" 12 41)
 ("o10" 5 45)
 ("o6" 39 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("o9" 17 58)
 ("o11" 46 58)
 ("o5" 42 65)
 ("o12" 54 67)
 ("u1" 41 72)
 ("o13" 48 72)
 ("o7" 47 77)
 ("o14" 41 78)
 ("o2" 56 78)
 ("o14" 82 84)
 ("o6" 83 84)
 ("o13" 73 95)
 ("u3" 87 96)
 ("o8" 64 103)
 ("o3" 23 104)
 ("o10" 48 106)
 ("o12" 96 110)
 ("o1" 43 118)
 ("o15" 47 131)
 ("o4" 79 132)
 ("o5" 75 137)
 ("o9" 81 142)
 ("u2" 65 162)
 ("u1" 93 163)
))
(32
 (
 ("o3" 3 12)
 ("u2" 9 20)
 ("o10" 5 21)
 ("o3" 16 27)
 ("o10" 22 31)
 ("u2" 28 36)
 ("o12" 8 38)
 ("u2" 37 39)
 ("o3" 31 40)
 ("o7" 39 46)
 ("u2" 40 46)
 ("o13" 27 50)
 ("u2" 54 60)
 ("o1" 36 61)
 ("o3" 49 63)
 ("u2" 62 66)
 ("u1" 63 67)
 ("o5" 65 68)
 ("u2" 67 71)
 ("o10" 32 72)
 ("o7" 47 73)
 ("o13" 51 73)
 ("u2" 72 76)
 ("o3" 66 77)
 ("o2" 43 78)
 ("o10" 73 83)
 ("o12" 49 84)
 ("o9" 44 85)
 ("o3" 79 88)
 ("o11" 77 90)
 ("o5" 69 92)
 ("u2" 82 94)
 ("u1" 68 99)
 ("o13" 75 99)
 ("o10" 85 102)
 ("o3" 91 102)
 ("o14" 68 105)
 ("o13" 100 113)
 ("o12" 92 114)
 ("o8" 71 117)
 ("o10" 104 122)
 ("o1" 103 133)
 ("o15" 91 135)
 ("o9" 87 138)
 ("o6" 37 141)
 ("o4" 100 158)
 ("o14" 106 183)
))
(33
 (
 ("u2" 12 20)
 ("o3" 1 21)
 ("u2" 21 23)
 ("u2" 24 30)
 ("o13" 11 34)
 ("u2" 38 44)
 ("o15" 11 46)
 ("u2" 46 50)
 ("o5" 14 52)
 ("o10" 16 56)
 ("o7" 31 57)
 ("o13" 35 57)
 ("o3" 25 60)
 ("u2" 56 60)
 ("o2" 27 62)
 ("o1" 22 64)
 ("o8" 21 68)
 ("o9" 28 69)
 ("o6" 38 73)
 ("o5" 53 76)
 ("o11" 74 79)
 ("u1" 52 83)
 ("o13" 59 83)
 ("o13" 84 86)
 ("o14" 52 89)
 ("o4" 60 94)
 ("o3" 67 94)
 ("o15" 57 104)
 ("u3" 36 112)
 ("o3" 100 124)
 ("o10" 57 127)
 ("o8" 84 131)
 ("o1" 96 133)
 ("u2" 83 138)
 ("o2" 79 141)
 ("o15" 109 141)
 ("o9" 76 145)
 ("o12" 96 153)
 ("u1" 84 167)
 ("o7" 85 190)
))
(34
 (
 ("u2" 4 12)
 ("u2" 16 22)
 ("u2" 24 25)
 ("o13" 3 26)
 ("o11" 11 29)
 ("u2" 30 36)
 ("u2" 38 42)
 ("u2" 43 45)
 ("o10" 8 48)
 ("o7" 23 49)
 ("o13" 27 49)
 ("u2" 48 52)
 ("o2" 19 54)
 ("u2" 53 57)
 ("o11" 39 58)
 ("o9" 20 61)
 ("u2" 63 66)
 ("o5" 45 68)
 ("u3" 2 69)
 ("u1" 44 75)
 ("o13" 51 75)
 ("o4" 33 76)
 ("u2" 75 76)
 ("o6" 10 78)
 ("o14" 44 81)
 ("u2" 90 91)
 ("o11" 72 92)
 ("o13" 76 93)
 ("o10" 49 95)
 ("u2" 94 96)
 ("o1" 1 98)
 ("u1" 87 99)
 ("u2" 103 106)
 ("o7" 50 109)
 ("o11" 101 118)
 ("o9" 62 125)
 ("u3" 73 134)
 ("o8" 64 139)
 ("o12" 68 146)
 ("o6" 91 147)
 ("o2" 55 151)
 ("o5" 69 155)
 ("o4" 108 167)
 ("o15" 85 181)
 ("o1" 104 181)
 ("o3" 104 182)
))
(35
 (
 ("o14" 24 28)
 ("o10" 15 32)
 ("u2" 29 37)
 ("o2" 42 43)
 ("o9" 26 44)
 ("u2" 41 47)
 ("o13" 28 51)
 ("o14" 46 54)
 ("u2" 51 54)
 ("u2" 55 61)
 ("u2" 63 67)
 ("o5" 1 69)
 ("o8" 14 71)
 ("o10" 33 73)
 ("o7" 48 74)
 ("o13" 52 74)
 ("u2" 73 77)
 ("o2" 44 79)
 ("o9" 45 86)
 ("o5" 70 93)
 ("o10" 74 94)
 ("u1" 69 100)
 ("o13" 76 100)
 ("o9" 87 102)
 ("o14" 69 106)
 ("o3" 22 116)
 ("o7" 81 118)
 ("o8" 80 136)
 ("o15" 84 139)
 ("u3" 113 139)
 ("o13" 101 140)
 ("o4" 52 144)
 ("o1" 88 151)
 ("o10" 114 151)
 ("o12" 89 163)
 ("o11" 110 206)
 ("u1" 117 225)
 ("o5" 120 240)
))
(36
 (
 ("u2" 10 18)
 ("u2" 19 21)
 ("o2" 6 24)
 ("u2" 22 28)
 ("o13" 9 32)
 ("o14" 26 42)
 ("u2" 36 42)
 ("u2" 44 48)
 ("u2" 49 51)
 ("o10" 14 54)
 ("o7" 29 55)
 ("o13" 33 55)
 ("o15" 9 57)
 ("u2" 54 58)
 ("o2" 25 60)
 ("o9" 26 67)
 ("o5" 51 74)
 ("u1" 50 81)
 ("o13" 57 81)
 ("u2" 64 84)
 ("o6" 78 84)
 ("o14" 50 87)
 ("o2" 61 88)
 ("o11" 70 90)
 ("o7" 71 90)
 ("u3" 78 90)
 ("o1" 19 93)
 ("o3" 87 97)
 ("o15" 68 105)
 ("o5" 75 107)
 ("o2" 90 109)
 ("o14" 98 112)
 ("u2" 103 116)
 ("o13" 82 117)
 ("u1" 82 123)
 ("o10" 95 124)
 ("o4" 76 146)
 ("o8" 105 153)
 ("o12" 85 154)
 ("o9" 68 158)
))
(37
 (
 ("u2" 11 19)
 ("u2" 23 29)
 ("o6" 26 32)
 ("o13" 10 33)
 ("o12" 20 33)
 ("u1" 8 34)
 ("u2" 37 43)
 ("u2" 45 49)
 ("u1" 47 50)
 ("o5" 5 51)
 ("o10" 15 55)
 ("o7" 30 56)
 ("o13" 34 56)
 ("u2" 55 59)
 ("o12" 45 60)
 ("o2" 26 61)
 ("o9" 27 68)
 ("o5" 52 75)
 ("o3" 24 78)
 ("u1" 51 82)
 ("o13" 58 82)
 ("u2" 60 82)
 ("o6" 68 83)
 ("u3" 7 84)
 ("o11" 62 86)
 ("o14" 51 88)
 ("o12" 75 91)
 ("o4" 61 103)
 ("o8" 92 105)
 ("o10" 58 110)
 ("o13" 83 110)
 ("u1" 87 122)
 ("o2" 92 129)
 ("o15" 74 130)
 ("o7" 83 132)
 ("o14" 89 136)
 ("o1" 87 151)
))
(38
 (
 ("o10" 18 25)
 ("u2" 26 34)
 ("o2" 27 40)
 ("u2" 38 44)
 ("o13" 25 48)
 ("o8" 38 52)
 ("u2" 52 58)
 ("u2" 60 64)
 ("o14" 61 65)
 ("o10" 30 70)
 ("o7" 45 71)
 ("o13" 49 71)
 ("u2" 70 74)
 ("o12" 19 76)
 ("o2" 41 76)
 ("o9" 42 83)
 ("o15" 60 85)
 ("o10" 71 85)
 ("o5" 67 90)
 ("u1" 66 97)
 ("o13" 73 97)
 ("o8" 94 100)
 ("o14" 66 103)
 ("o10" 98 109)
 ("o1" 82 111)
 ("o5" 91 111)
 ("o3" 60 115)
 ("o7" 97 131)
 ("o13" 98 133)
 ("o11" 49 135)
 ("o6" 70 142)
 ("o12" 100 152)
 ("u3" 59 159)
 ("u2" 82 163)
 ("o4" 96 186)
))
(39
 (
 ("u2" 6 14)
 ("o2" 1 15)
 ("o2" 19 20)
 ("u2" 18 24)
 ("o13" 5 28)
 ("o1" 1 35)
 ("u2" 32 38)
 ("u2" 40 44)
 ("u3" 15 49)
 ("o10" 10 50)
 ("o7" 25 51)
 ("o13" 29 51)
 ("u2" 50 54)
 ("o2" 21 56)
 ("o9" 22 63)
 ("o1" 36 63)
 ("o5" 47 70)
 ("o11" 25 71)
 ("o2" 57 71)
 ("u1" 46 77)
 ("o13" 53 77)
 ("o2" 74 81)
 ("o14" 46 83)
 ("o1" 64 90)
 ("o10" 51 94)
 ("o2" 84 95)
 ("o13" 78 97)
 ("o9" 87 99)
 ("u3" 56 102)
 ("u2" 92 105)
 ("o3" 82 108)
 ("o2" 98 108)
 ("o2" 110 119)
 ("o1" 92 123)
 ("o14" 92 134)
 ("o12" 96 134)
 ("o5" 71 137)
 ("o4" 2 140)
 ("o11" 95 141)
 ("o8" 65 149)
 ("u3" 115 160)
 ("o15" 72 169)
 ("o7" 96 198)
 ("u1" 89 211)
 ("o6" 110 220)
))
(40
 (
 ("u2" 6 14)
 ("u2" 18 24)
 ("o13" 5 28)
 ("u2" 32 38)
 ("o1" 35 40)
 ("u2" 40 44)
 ("u1" 30 45)
 ("o14" 33 45)
 ("o5" 34 46)
 ("o10" 10 50)
 ("o7" 25 51)
 ("o13" 29 51)
 ("u2" 50 54)
 ("o2" 21 56)
 ("o9" 22 63)
 ("o8" 13 67)
 ("o5" 47 70)
 ("u1" 46 77)
 ("o13" 53 77)
 ("o14" 46 83)
 ("o2" 59 87)
 ("o4" 16 92)
 ("o12" 42 93)
 ("o6" 49 101)
 ("o13" 83 104)
 ("u2" 84 105)
 ("o9" 64 108)
 ("u3" 56 114)
 ("o7" 61 114)
 ("o3" 60 116)
 ("o10" 51 119)
 ("o15" 46 121)
 ("o8" 76 137)
 ("o11" 78 157)
))
(41
 (
 ("u2" 1 9)
 ("o9" 5 16)
 ("u2" 13 19)
 ("o13" 0 23)
 ("u2" 25 26)
 ("u2" 27 33)
 ("u2" 35 39)
 ("o5" 40 41)
 ("o10" 5 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o12" 27 50)
 ("o2" 16 51)
 ("o9" 17 58)
 ("o10" 46 59)
 ("o5" 42 65)
 ("o9" 59 69)
 ("o3" 56 70)
 ("u1" 41 72)
 ("o13" 48 72)
 ("u3" 33 76)
 ("o14" 41 78)
 ("o1" 64 84)
 ("o8" 69 87)
 ("o10" 71 91)
 ("o12" 74 92)
 ("o6" 22 95)
 ("o15" 75 97)
 ("u2" 81 104)
 ("o9" 74 106)
 ("o11" 37 113)
 ("o2" 71 128)
 ("o4" 88 130)
 ("o13" 93 170)
 ("o7" 88 174)
 ("u1" 77 180)
))
(42
 (
 ("o10" 6 16)
 ("u2" 13 21)
 ("u2" 25 31)
 ("o13" 12 35)
 ("u1" 12 35)
 ("u3" 8 41)
 ("o12" 7 44)
 ("u2" 39 45)
 ("u2" 47 51)
 ("u1" 46 52)
 ("o14" 48 52)
 ("o5" 51 53)
 ("u2" 52 56)
 ("o10" 17 57)
 ("o7" 32 58)
 ("o13" 36 58)
 ("u2" 57 61)
 ("o2" 28 63)
 ("o6" 5 65)
 ("o9" 29 70)
 ("o3" 27 74)
 ("o5" 54 77)
 ("u1" 53 84)
 ("o13" 60 84)
 ("u3" 48 85)
 ("o14" 53 90)
 ("o12" 54 91)
 ("o8" 40 94)
 ("o1" 13 95)
 ("o2" 64 98)
 ("o9" 71 98)
 ("o15" 67 110)
 ("u1" 87 114)
 ("o7" 70 116)
 ("o10" 70 119)
 ("o11" 88 121)
 ("u3" 89 122)
 ("o6" 75 132)
 ("o13" 85 136)
))
(43
 (
 ("o10" 7 15)
 ("o12" 8 16)
 ("u2" 12 20)
 ("u2" 21 23)
 ("o6" 18 26)
 ("o7" 2 30)
 ("u2" 24 30)
 ("o12" 26 32)
 ("o13" 11 34)
 ("o12" 39 43)
 ("u2" 38 44)
 ("u2" 46 50)
 ("o14" 17 51)
 ("u1" 29 51)
 ("o5" 13 52)
 ("o6" 51 55)
 ("o10" 16 56)
 ("o3" 8 57)
 ("o7" 31 57)
 ("o13" 35 57)
 ("o12" 48 58)
 ("o8" 46 60)
 ("u2" 56 60)
 ("o10" 57 61)
 ("o2" 27 62)
 ("o4" 53 67)
 ("o7" 58 68)
 ("o9" 28 69)
 ("o12" 67 69)
 ("u3" 25 76)
 ("o5" 53 76)
 ("o11" 7 79)
 ("o12" 76 80)
 ("u1" 52 83)
 ("o13" 59 83)
 ("o6" 80 84)
 ("o10" 69 86)
 ("o14" 52 89)
 ("o12" 86 97)
 ("o7" 71 100)
 ("o1" 62 103)
 ("o3" 71 106)
 ("o2" 67 114)
 ("o9" 70 116)
 ("u1" 89 128)
 ("o14" 90 134)
 ("o11" 88 150)
 ("o15" 86 156)
 ("o13" 84 166)
))
(44
 (
 ("u2" 27 35)
 ("u2" 37 38)
 ("o2" 34 41)
 ("o9" 35 42)
 ("o7" 36 45)
 ("u2" 39 45)
 ("o13" 26 49)
 ("u2" 53 59)
 ("u2" 61 65)
 ("o5" 26 67)
 ("o10" 31 71)
 ("o7" 46 72)
 ("o13" 50 72)
 ("u2" 71 75)
 ("o2" 42 77)
 ("o9" 43 84)
 ("o3" 26 89)
 ("o5" 68 91)
 ("o15" 84 94)
 ("u1" 67 98)
 ("o13" 74 98)
 ("o14" 67 104)
 ("o11" 18 116)
 ("o9" 91 128)
 ("o6" 63 131)
 ("o14" 105 133)
 ("o5" 98 140)
 ("u3" 99 163)
 ("o8" 57 168)
 ("o12" 63 175)
 ("o7" 110 175)
 ("o4" 92 189)
 ("o1" 95 196)
 ("o10" 72 200)
))
(45
 (
 ("o13" 21 24)
 ("o6" 24 33)
 ("u2" 26 34)
 ("o2" 17 40)
 ("o15" 23 42)
 ("u2" 38 44)
 ("o13" 25 48)
 ("u2" 52 58)
 ("u2" 60 64)
 ("u1" 16 65)
 ("o14" 45 65)
 ("o6" 58 66)
 ("o8" 9 70)
 ("o10" 30 70)
 ("o7" 45 71)
 ("o13" 49 71)
 ("o11" 45 73)
 ("u2" 70 74)
 ("o2" 41 76)
 ("o9" 42 83)
 ("o3" 60 87)
 ("o5" 67 90)
 ("o15" 70 94)
 ("o1" 25 96)
 ("u1" 66 97)
 ("o13" 73 97)
 ("o14" 66 103)
 ("o6" 106 114)
 ("o8" 80 125)
 ("u3" 99 140)
 ("o9" 84 154)
 ("o4" 35 155)
 ("o13" 98 161)
 ("o10" 90 163)
 ("o12" 106 199)
 ("o7" 100 208)
 ("o5" 109 217)
))
(46
 (
 ("u2" 12 13)
 ("o2" 13 21)
 ("u2" 14 22)
 ("o7" 25 32)
 ("u2" 26 32)
 ("o13" 13 36)
 ("u2" 40 46)
 ("u2" 48 52)
 ("u1" 36 53)
 ("o14" 37 53)
 ("o10" 18 58)
 ("o7" 33 59)
 ("o13" 37 59)
 ("u2" 58 62)
 ("o2" 29 64)
 ("o9" 30 71)
 ("o3" 52 73)
 ("o5" 55 78)
 ("o2" 73 78)
 ("u3" 64 82)
 ("o12" 75 82)
 ("o1" 46 85)
 ("u1" 54 85)
 ("o13" 61 85)
 ("o9" 72 90)
 ("o14" 54 91)
 ("o2" 87 93)
 ("o11" 40 96)
 ("o15" 39 102)
 ("u2" 63 104)
 ("o5" 92 110)
 ("o4" 49 111)
 ("o10" 59 116)
 ("o6" 55 138)
 ("o13" 86 139)
 ("o7" 93 140)
 ("o8" 89 142)
))
(47
 (
 ("u2" 12 20)
 ("u2" 24 30)
 ("o1" 27 30)
 ("o15" 27 30)
 ("o13" 11 34)
 ("o8" 7 37)
 ("u2" 38 44)
 ("u2" 46 50)
 ("o14" 15 51)
 ("o15" 49 51)
 ("o5" 7 52)
 ("u2" 51 55)
 ("o10" 16 56)
 ("o7" 31 57)
 ("o13" 35 57)
 ("u2" 56 60)
 ("o2" 27 62)
 ("u3" 12 64)
 ("o6" 4 66)
 ("o11" 62 66)
 ("o9" 28 69)
 ("o1" 67 71)
 ("o8" 50 75)
 ("o5" 53 76)
 ("o15" 77 78)
 ("u1" 52 83)
 ("o13" 59 83)
 ("o14" 52 89)
 ("o9" 70 92)
 ("o15" 96 98)
 ("u1" 84 104)
 ("o10" 57 113)
 ("o4" 28 116)
 ("o8" 88 118)
 ("o6" 67 120)
 ("o2" 71 126)
 ("o3" 12 131)
 ("o14" 90 132)
 ("o7" 63 136)
 ("u3" 75 136)
 ("o12" 69 141)
 ("o13" 84 171)
))
(48
 (
 ("o14" 17 22)
 ("u2" 16 24)
 ("u2" 26 27)
 ("u2" 28 34)
 ("o13" 15 38)
 ("u2" 42 48)
 ("u2" 50 54)
 ("o14" 54 55)
 ("o10" 20 60)
 ("o7" 35 61)
 ("o13" 39 61)
 ("o4" 9 62)
 ("u2" 60 64)
 ("o2" 31 66)
 ("o9" 32 73)
 ("o5" 57 80)
 ("o10" 61 80)
 ("o7" 78 81)
 ("o3" 36 85)
 ("u3" 14 86)
 ("u1" 56 87)
 ("o13" 63 87)
 ("o14" 56 93)
 ("o1" 25 96)
 ("o11" 21 97)
 ("o6" 76 103)
 ("u2" 91 111)
 ("o12" 57 115)
 ("o4" 72 119)
 ("o8" 50 123)
 ("o15" 50 137)
 ("o2" 67 175)
))
(49
 (
 ("u2" 1 9)
 ("o7" 12 19)
 ("u2" 13 19)
 ("o13" 0 23)
 ("o6" 12 26)
 ("u2" 20 26)
 ("u2" 27 33)
 ("u2" 35 39)
 ("u1" 14 40)
 ("o10" 5 45)
 ("o6" 35 45)
 ("o7" 20 46)
 ("o13" 24 46)
 ("u2" 45 49)
 ("o2" 16 51)
 ("u3" 5 56)
 ("o8" 50 57)
 ("o9" 17 58)
 ("o11" 57 60)
 ("o6" 53 63)
 ("o5" 42 65)
 ("o10" 65 68)
 ("u1" 41 72)
 ("o13" 48 72)
 ("o3" 1 74)
 ("o14" 41 78)
 ("o13" 80 90)
 ("o6" 77 93)
 ("u2" 67 100)
 ("o10" 103 104)
 ("u3" 62 105)
 ("o5" 68 107)
 ("o12" 56 109)
 ("o6" 102 117)
 ("o15" 60 122)
 ("o2" 72 135)
 ("o14" 79 140)
 ("o3" 78 158)
 ("o7" 105 202)
))
